Formal semantics - PDFSEARCH.IO - Document Search Engine

Formal semantics
Results: 502

#	Item
171	A Formal Embedding of AgentSpeak(L) in 3APL Koen Hindriks, Frank S. de Boer, Wiebe van der Hoek and John-Jules Ch. Meyer University Utrecht, Department of Computer Science P.O. Box, 3508 TB Utrecht, The Netherland Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 1998-12-14 07:37:21 Applied mathematics AgentSpeak Operational semantics Bisimulation Programming language Agent-based model State transition system 3APL Logic programming Multi-agent systems Computing Theoretical computer science
172	PDF Document Add to Reading List Source URL: www.dsmforum.org Language: English - Date: 2008-11-04 04:12:05 Models of computation Computer science Diagrams Programming language semantics Concurrency Petri net Operational semantics Semantics Petri Theoretical computer science Formal methods Logic in computer science
173	The COST IC0701 Verification Competition 2011 Thorsten Bormer, Marc Brockschmidt, Dino Distefano, Gidon Ernst, Jean-Christophe Filliˆatre, Radu Grigore, Marieke Huisman, Vladimir Klebanov, Claude March´e, Rosemary Mona Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2012-07-16 03:37:08 Procedural programming languages Formal methods Program logic Predicate transformer semantics Recursion KeY Binary heap Termination analysis ALGOL 68 Software engineering Computing Computer programming
174	Research on Language and Computation 00: 1–30, 2007. c 2007 Springer Science+Business Media, Inc. Manufactured in The Netherlands. 1 Add to Reading List Source URL: www.eecs.qmul.ac.uk Language: English - Date: 2009-01-26 11:47:56 Syntax Software engineering Mathematical notation Ellipsis Parsing Formal grammar Semantics Linguistics Formal languages Grammar
175	Incremental Grammar Induction from Child-Directed Dialogue Utterances∗ Arash Eshghi Interaction Lab Heriot-Watt University Edinburgh, United Kingdom Add to Reading List Source URL: www.eecs.qmul.ac.uk Language: English - Date: 2013-08-08 05:53:56 Semantics Formal languages Compiler construction Parsing Syntactic category Word-sense disambiguation Lexical item Natural language processing Sentence processing Linguistics Computational linguistics Lexical semantics
176	Noname manuscript No. (will be inserted by the editor) Understanding SPKI/SDSI Using First-Order Logic ? Ninghui Li1?? John C. Mitchell2 1 Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2007-12-17 01:13:36 Simple public key infrastructure Mathematical logic Semantics Model theory First-order logic Modal logic Entailment Finitary relation Formal semantics Logic Philosophical logic Key management
177	Learning Continuous Phrase Representations and Syntactic Parsing with Recursive Neural Networks Richard Socher, Christopher D. Manning, Andrew Y. Ng Department of Computer Science Stanford University Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2011-03-09 16:41:06 Computational neuroscience Compiler construction Parsing Linguistics Cybernetics Recurrent neural network Semantics Chart parser Formal grammar Neural networks Science Formal languages
178	Horn Clause Belief Change: Contraction Functions James P. Delgrande School of Computing Science, Simon Fraser University, Burnaby, B.C., Canada V5A 1S6. Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2008-09-10 12:38:16 Formal languages Functions and mappings Interpretation Philosophy of mind Semantics Symbol Entailment Function Contraction Logic Mathematics Model theory
179	TermWare: A Rewriting Framework for Rule-Based Programming Dynamic Applications A. Doroshenko1, R. Shevchenko2 1 Add to Reading List Source URL: www.gradsoft.com.ua Language: English - Date: 2005-10-06 06:06:53 Logic in computer science Formal languages Programming language semantics Combinatorics on words Rewriting Unification Drools Operational semantics Programming language Theoretical computer science Mathematics Applied mathematics
180	Probabilistic polynomial-time semantics for a protocol security logic? Anupam Datta1 , Ante Derek1 , John C. Mitchell1 , Vitaly Shmatikov2 , and Mathieu Turuani3 1 2 Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2007-12-18 01:05:08 Model theory Well-formed formula IP Interpretation Logic Metalogic Formal languages

UPDATE